2
The Collected Works of J. Richard Büchi

The Collected Works of J. Richard Büchi

Saunders Mac Lane, Dirk Siefkes (auth.), Saunders Mac Lane, Dirk Siefkes (eds.)
년:
1990
언어:
english
파일:
PDF, 28.25 MB
0 / 0
english, 1990
3
Formalisieren und Beweisen: Logik für Informatiker

Formalisieren und Beweisen: Logik für Informatiker

Dirk Siefkes (auth.)
년:
1992
언어:
german
파일:
PDF, 7.50 MB
0 / 0
german, 1992
6
Formale Methoden und kleine Systeme: Lernen, leben und arbeiten in formalen Umgebungen

Formale Methoden und kleine Systeme: Lernen, leben und arbeiten in formalen Umgebungen

Dirk Siefkes (auth.)
년:
1992
언어:
german
파일:
PDF, 7.58 MB
0 / 0
german, 1992
8
Formalisieren und Beweisen: Logik für Informatiker

Formalisieren und Beweisen: Logik für Informatiker

Dirk Siefkes (auth.)
년:
1990
언어:
german
파일:
PDF, 37.19 MB
0 / 0
german, 1990
9
Büchi’s Monadic Second Order Successor Arithmetic

Büchi’s Monadic Second Order Successor Arithmetic

Dirk Siefkes (auth.)
년:
1970
언어:
german
파일:
PDF, 12.36 MB
0 / 0
german, 1970
10
GI-4.Jahrestagung: Berlin, 9.–12. Oktober 1974

GI-4.Jahrestagung: Berlin, 9.–12. Oktober 1974

J. Hartmanis, J. Simon (auth.), Prof. Dr. Dirk Siefkes (eds.)
년:
1975
언어:
german
파일:
PDF, 20.41 MB
0 / 0
german, 1975